Search results for "Semantic Web Rule Language"
showing 10 items of 10 documents
Semantic Agent Programming Language (S-APL): A Middleware Platform for the Semantic Web
2008
The agent-based approach is an effective one for building middleware interconnecting distributed heterogeneous resources and providing semantic interoperability among them. On the other hand, agents need the semantic Web technologies for flexible yet effective coordination among them with a particular issue of enabling agents to communicate not only about the domain but also about their own abilities, goals, and present and intended actions. This paper describes semantic agent programming language (SAPL)intended to be a core middleware language for the semantic Web. S-APL integrates the semantic description of the domain resources with the semantic prescription of the agents' behaviors. Add…
Querying Dynamic and Context-Sensitive Metadata in Semantic Web
2005
RDF (core Semantic Web standard) is not originally appropriate for context representation, because of its initial focus on the ordinary Web resources, such as web pages, files, databases, services, etc., which structure and content are more or less stable. However, on the other hand, emerging industrial applications consider e.g. machines, processes, personnel, services for condition monitoring, remote diagnostics and maintenance, etc. to be specific classes of Web resources and thus a subject for semantic annotation. Such resources are naturally dynamic, not only from the point of view of changing values for some attributes (state of resource), but also from the point of view of changing “…
Combining OWL ontologies usingE-Connections
2006
The standardization of the Web Ontology Language (OWL) leaves (at least) two crucial issues for Web-based ontologies unsatisfactorily resolved, namely how to represent and reason with multiple distinct, but linked ontologies, and how to enable effective knowledge reuse and sharing on the Semantic Web. In this paper, we present a solution for these fundamental problems based on E-Connections. We aim to use E-Connections to provide modelers with suitable means for developing Web ontologies in a modular way and to provide an alternative to the owl:imports construct. With such motivation, we present in this paper a syntactic and semantic extension of the Web Ontology language that covers E-Conn…
An Innovative Statistical Tool for Automatic OWL-ERD Alignment
2016
Aligning two representations of the same domain with different expressiveness is a crucial topic in nowadays semantic web and big data research. OWL ontologies and Entity Relation Diagrams are the most widespread representations whose alignment allows for semantic data access via ontology interface, and ontology storing techniques. The term ""alignment" encompasses three different processes: OWL-to-ERD and ERD-to-OWL transformation, and OWL-ERD mapping. In this paper an innovative statistical tool is presented to accomplish all the three aspects of the alignment. The main idea relies on the use of a HMM to estimate the most likely ERD sentence that is stated in a suitable grammar, and corre…
Integration of Spatial processing and knowledge Processing through the Semantic Web Stack
2011
International audience; This paper presents the integration process of spatial technologies and Semantic Web technologies and its associated tool. The result of this work is a spatial query and rule engine of spatial. To do so, existing ontology with spatial elements is adjusted in order to process the spatial knowledge through spatial technologies. This paper outlines the methods and the processes of these adjustments and how results are returned by our tool. The SWRL and the SPARQL language are extended for spatial purpose and the existing OWL ontology wine is used as an application example.
Context DataModel Framework: semantic facilities management
2008
Facility management is the practice of coordinating the physical workplace with the people and work of the organisation. It integrates the principles of business administration, architecture and the behavioural and engineering sciences. Software dedicated to facility management are usually limited to spreadsheet software. With the development of the Industry Foundation Class (IFC; a new object-oriented standard to model buildings) and web-based networks, a new generation of methods and tools dedicated to facility management are required. To deal with these requirements, we have developed a framework based on Semantic Web technologies: RDF, Ontology Web Language (OWL), Semantic Web Rule Lang…
RDF2SPIN: Mapping Semantic Graphs to SPIN Model Checker
2011
International audience; The most frequently used language to represent the semantic graphs is the RDF (W3C standard for meta-modeling). The construction of semantic graphs is a source of numerous errors of interpretation. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border between two areas: the semantic web and the model checking. For this, we developed a tool, RDF2SPIN, which converts RDF graphs into SPIN language. This conversion aims checking the semantic graphs with the model checker SPIN in order to verify the consistency of the data. To illustrate our propos…
Architectural Reconstruction of 3D Building Objects through Semantic Knowledge Management
2010
International audience; This paper presents an ongoing research which aims at combining geometrical analysis of point clouds and semantic rules to detect 3D building objects. Firstly by applying a previous semantic formalization investigation, we propose a classification of related knowledge as definition, partial knowledge and ambiguous knowledge to facilitate the understanding and design. Secondly an empirical implementation is conducted on a simplified building prototype complying with the IFC standard. The generation of empirical knowledge rules is revealed and semantic scopes are addressed both in the bottom up manner along the line of geometry --> topology --> semantic, and a vice ver…
Temporal Logic To Query Semantic Graphs Using The Model Checking Method
2012
International audience; Semantic interoperability problems have found their solutions due to the use of languages and techniques from the Semantic Web. The proliferations of ontologies and meta-information have improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modeling, and scalability remains a major problem. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border of two areas: the semantic web and the model checking. This line of rese…
Working with Multiple Ontologies on the Semantic Web.
2016
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with multiple distinct, but linked, ontologies. OWL provides the owl:imports construct which, roughly, allows Web ontologies to include other Web ontologies, but only by merging all the linked ontologies into a single logical "space". Recent work on multidimensional logics, fusions and other combinations of modal logics, distributed and contextual logics, and the like have tried to find formalisms wherein knowledge bases (and their logic) are kept more distinct but yet affect each other. These formalisms have various …